(declare-sort S0 0)

(declare-const i1 Int)
(declare-const i4 Int)
(declare-const i5 Int)
(declare-const i6 Int)
(declare-const i7 Int)
(declare-const v15 Bool)
(assert v15)
(assert (> i1 i6))
(declare-const v17 Bool)
(declare-const arr0 (Array S0 (Array S0 S0)))
(declare-const v18 Bool)
(declare-const i17 Int)
(assert (xor v18 v17 (<= 15 i5) (<= 15 4) v15 v17 v15 (= 16 15) (= arr0 arr0)))
(check-sat)
